*A P2P network for distributed and provable compilation of RmbRT programs.*

**Abstract** 
This document describes the distributed and verifiable RmbRT compiler `p2prlc`.
This compiler runs as a [DHT][term:DHT] inside a global P2P network, tracking the hash pairs of input sources and their corresponding compilation results.
Users can query the `p2prlc` network to verify whether an executable was compiled from a certain source, or try to fetch the compiled executable for a given source without having to compile it themselves.
`p2prlc` allows the distribution of free RmbRT programs as pre-compiled executables and libraries without requiring trust in the distributor, which is useful for large free software projects.
The same behaviour as with `p2prlc`, but without the network, is also part of the normal RmbRT compiler, `rlc`.